Your search returned 40 results. Subscribe to this search

|
B'98 : recent advances in the development and use of the B method / Second International B Conference... ; ed. Didier Bert Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 311 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Software process : principles, methodology, and technology / ed. Jean-Claude Derniame, Badara Ali Kaba, David Wastell Monografia Publication Berlin : Springer, cop. 1999 Description XII, 307 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

The common component modeling example : comparing software component models / ed. Andreas Rausch... [et al.] Monografia Publication Berlin : Springer, cop. 2008 Description VIII, 460 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Formal aspects of component software : revised selected papers / 7th International Workshop... ; ed. Luís Soares Barbosa, Markus Lumpe Monografia Publication Berlin : Springer, cop. 2012 Description X, 303 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Objective software quality : objective quality : second symposium on software quality Techniques and Acquisition Criteria / Paolo Nesi Monografia Publication Berlin : Springer, cop. 1995 Description VIII, 248 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Software configuration management : selected papers / ICSE'96 SCM-6 Workshop ; ed. Ian Sommerville Monografia Publication Berlin : Springer, 1996 Description VII, 290 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Software configuration management : ICSE SCM-4 and SCM-5 workshops selected papers / ed. Jacky Estublier Monografia Publication Berlin : Springer, 1995 Description IX, 30, [5] p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Software process technology : proceedings / 6th European Workshop... ; ed. Volker Gruhn Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 155 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mobile agents and security / ed. Giovanni Vigna Monografia Publication Berlin : Springer, cop. 1998 Description XII, 256 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Software process technology : proceedings / 5th European Workshop... ; ed. Carlo Montangero Monografia Publication Berlin : Springer, cop. 1996 Description IX, 290 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Model checking software : proceedings / 9th International SPIN Workshop... ; ed. Dragan Bosnacki, Stefan Leue Monografia Publication Berlin : Springer, cop. 2002 Description X, 257 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mobile agents : proceedings / First International Workshop... ; ed. Kurt Rothermel, Radu Popescu-Zeletin Monografia Publication Berlin : Springer, cop. 1997 Description VIII, 221 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Real-time : theory and practice : proceedings / Rex Workshop ; ed. J. W. de Bakker... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 723 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Formal aspects of component software / 9th International Symposium... ; ed. Corina S. Pasareanu, Gwen Salaün Monografia Publication Berlin : Springer, 2012 Description X, 277 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Software process technology : proceedings / Second European Workshop... ; ed. Jean-Claude Derniame Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 253 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Fundamental approaches to software engineering : proceedings / Third International Conference... ; ed. Tom Maibaum Monografia Publication Berlin : Springer, cop. 2000 Description XIII, 374 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Software process technology : proceedings / 4th European Workshop... ; ed. Wilhelm Schäfer Monografia Publication Berlin : Springer, cop. 1995 Description IX, 259 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Product focused software process improvement : proceedings / 3rd International Conference... ; ed. Frank Bomarius, Seija Komi-Sirviö Monografia Publication Berlin : Springer, cop. 2001 Description XI, 382 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Experimental software engineering issues : critical assessment and future directions : proceedings / International Workshop... ; ed. H. Dieter Rombach, Victor R. Basili, Richard W. Selby Monografia Publication Berlin : Springer, cop. 1993 Description XVIII, 261 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Product focused software process improvement : proceedings / 2nd International Conference... ; ed. Frank Bomarius, Markku Oivo Monografia Publication Berlin : Springer, cop. 2000 Description XI, 426 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).